Timed tuplix calculus and the Wesseling and van den Berg equation
نویسندگان
چکیده
We formalize a cumulative interest compliant conservation requirement for pure financial products proposed by Wesseling and van den Bergh to make financial issues relating to these products amenable to mathematical analysis. The formalization is given in a timed extension of tuplix calculus and abstracts from the idiosyncrasies of time measurement. We also use the timed tuplix calculus to show how wanted financial behaviours may profit from using pure financial products.
منابع مشابه
Timed Tuplix Calculus and the Wesseling and van den Bergh Equation
We develop an algebraic framework for the description and analysis of financial behaviours, that is, behaviours that consist of transferring certain amounts of money at planned times. To a large extent, analysis of financial products amounts to analysis of such behaviours. We formalize the cumulative interest compliant conservation requirement for financial products proposed by Wesseling and va...
متن کاملTuplix Calculus Specifications of Financial Transfer Networks
We study the application of Tuplix Calculus in modular financial budget design. We formalize organizational structure using financial transfer networks. We consider the notion of flux of money over a network, and a way to enforce the matching of influx and outflux for parts of a network. We exploit so-called signed attribute notation to make internal streams visible through encapsulations. Fina...
متن کاملTuplix Calculus
We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC for entries and tests, which are combined using conjunctive composition. We define a standard model and prove that CTC is relatively complete with respect to i...
متن کاملSuperior vena caval syndrome due to substernal goitre.
Superior vena caval syndrome is usually due to malignant disease, however, benign cases do occur. Two patients with superior vena caval syndrome due to substernal goitre are reported, and the use of phleboscintigraphy and/or vena caval phlebography are advocated. A review of potentially helpful diagnostic procedures is given.
متن کاملTowards a formalization of budgets
We go into the need for, and the requirements on, a formal theory of budgets. We present a simple algebraic theory of rational budgets, i.e., budgets in which amounts of money are specified by functions on the rational numbers. This theory is based on the tuplix calculus. We go into the importance of using totalized models for the rational numbers. We present a case study on the educational bud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0901.3003 شماره
صفحات -
تاریخ انتشار 2009